Structural vs. Mathematical “Under” (2023)
dyalog.com·10h·
Discuss: Lobsters, Hacker News
📊type
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·6h
📥Embeddings
Pest gotchas
andreabergia.com·13h
📥Embeddings
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
📊type
LLMs Are Trained to Assume Their Output Is Perfect
lesswrong.com·10h
📥Embeddings
On systematic construction of correct logic programs
arxiv.org·6h
🏗️Enterprise Software Architecture
Parlant - Renovation AI Open-Source framework
dev.to·2h·
Discuss: DEV
🏗️Enterprise Software Architecture
The Hilbert program
infinitelymore.xyz·21h
📊type
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·6h
🏗️Enterprise Software Architecture
Do I not like Ruby anymore? (2024)
sgt.hootr.club·3h·
Discuss: Hacker News, r/programming
🏗️Enterprise Software Architecture
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·4d·
Discuss: r/LocalLLaMA
📥Embeddings
Building a Regex Engine
abstractsyntaxseed.com·5d·
Discuss: Lobsters, Hacker News
📥Embeddings
Guessing Game: Haskell Style
entropicthoughts.com·12h
📊type
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
📥Embeddings
CppCon 2025 Keynote: Reflection: C++’s Decade-Defining Rocket Engine -- Herb Sutter
isocpp.org·18h
🏗️Enterprise Software Architecture
The Lobster Programming Language
strlen.com·15h·
Discuss: Hacker News
📊type
Class_Till_Now(PART-1)
dev.to·2h·
Discuss: DEV
🏡Self-hosting
Linguistic Neuron Overlap Patterns to Facilitate Cross-lingual Transfer on Low-resource Languages
arxiv.org·6h
📥Embeddings
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🏗️Enterprise Software Architecture
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News
🏗️Enterprise Software Architecture